商环(quotient ring):在环 (R) 中选取一个理想 (I),把相差一个理想元素的元素视为“同一类”,从而得到的新环,记作 (R/I)。直观上,它是在环里“把 (I) 里的元素都当作 0 来处理”后形成的结构。(该术语在抽象代数中最常见;在更一般的语境里也可能指类似的“模掉”构造。)
/ˈkwoʊʃənt rɪŋ/
A quotient ring is formed by factoring a ring by an ideal.
商环是把一个环按某个理想进行“取商(模掉)”得到的。
In commutative algebra, the quotient ring (k[x]/(x^2)) is often used to illustrate nilpotent elements.
在交换代数中,商环 (k[x]/(x^2)) 常用来说明幂零元素的概念。
quotient 来自拉丁语 quotiens(“多少次、多少份”)并经法语进入英语,数学中引申为“相除所得的商/取商”;ring 在代数语境中指“环”。合起来 quotient ring 表示“对环进行取商(模掉一个理想)所得到的环”。